English diagnostic microcode: translation to other languages